Counting points on varieties over finite fields of small characteristic

摘要

We present a deterministic polynomial time algorithm for computing the zetafunction of an arbitrary variety of fixed dimension over a finite field ofsmall characteristic. One consequence of this result is an efficient method forcomputing the order of the group of rational points on the Jacobian of a smoothgeometrically connected projective curve over a finite field of smallcharacteristic.